@book{bookMobileProcesses,
 author = {Sangiorgi, Davide and Walker, David},
 title = {PI-Calculus- A Theory of Mobile Processes},
 year = {2001},
 isbn = {0521781779},
 publisher = {Cambridge University Press},
 address = {New York, NY, USA},
} 

@INPROCEEDINGS{embedded, 
author={Orfanus, D. and Janacik, P. and Wagner, F.R.}, 
booktitle={Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW), 2010 13th IEEE International Symposium on}, 
title={Locality-Aware Extension of pi-Calculus to Model Self-Organizing Behavior in Massively Distributed Embedded Systems}, 
year={2010}, 
month={may}, 
pages={29-38}, 
keywords={Algebra;Conferences;Design methodology;Distributed computing;Embedded system;Libraries;Oceans;Process design;Real time systems;Wireless sensor networks;distributed processing;embedded systems;fault tolerant computing;pattern clustering;pi calculus;wireless sensor networks;locality awareness;massively distributed embedded system;pi-calculus;process algebra;self-organizing clustering;wireless sensor network;Process algebra;ad hoc networks;clustering;emergence;locality awareness;pi-calculus;self-organization;wireless sensor networks;}, 
}

@incollection{biology,
year={2007},
isbn={978-3-540-75139-7},
booktitle={Computational Methods in Systems Biology},
volume={4695},
series={Lecture Notes in Computer Science},
editor={Calder, Muffy and Gilmore, Stephen},
doi={10.1007/978-3-540-75140-3_13},
title={Efficient, Correct Simulation of Biological Processes in the Stochastic Pi-calculus},
note = {\url{http://dx.doi.org/10.1007/978-3-540-75140-3_13}},
publisher={Springer Berlin Heidelberg},
author={Phillips, Andrew and Cardelli, Luca},
pages={184-199}
}
@INPROCEEDINGS{spiCalculus,
    author = {Martin Abadi and Andrew D. Gordon},
    title = {A calculus for cryptographic protocols: The spi calculus},
    booktitle = {4th ACM Conference on Computer and Communications Security },
    year = {1997},
    pages = {36--47},
    publisher = {ACM Press}
}
@article{spim,
 author = {Lakin, Matthew R. and Paulev{\'e}, Lo\"{\i}c and Phillips, Andrew},
 title = {Stochastic simulation of multiple process calculi for biology},
 journal = {Theor. Comput. Sci.},
 issue_date = {May, 2012},
 volume = {431},
 month = may,
 year = {2012},
 issn = {0304-3975},
 pages = {181--206},
 numpages = {26},
 url = {http://dx.doi.org/10.1016/j.tcs.2011.12.057},
 doi = {10.1016/j.tcs.2011.12.057},
 acmid = {2185177},
 publisher = {Elsevier Science Publishers Ltd.},
 address = {Essex, UK},
 keywords = {Bioambient calculus, Correctness, Generic abstract machine, Implementation, Kappa calculus, Pi-calculus, Stochastic simulation},
} 
@inproceedings{spim_concurrent,
 author = {Kuttler, C'eline and Lhoussaine, C{\'e}dric and Niehren, Joachim},
 title = {A stochastic pi calculus for concurrent objects},
 booktitle = {Proceedings of the 2nd international conference on Algebraic biology},
 series = {AB'07},
 year = {2007},
 isbn = {978-3-540-73432-1},
 location = {Castle of Hagenberg, Austria},
 pages = {232--246},
 numpages = {15},
 url = {http://dl.acm.org/citation.cfm?id=1769026.1769043},
 acmid = {1769043},
 publisher = {Springer-Verlag},
 address = {Berlin, Heidelberg},
} 

@inproceedings{Jones,
 author = {Jones, Cliff B.},
 title = {A pi-Calculus Semantics for an Object-Based Design Notation},
 booktitle = {Proceedings of the 4th International Conference on Concurrency Theory},
 series = {CONCUR 93},
 year = {1993},
 isbn = {3-540-57208-2},
 pages = {158--172},
 numpages = {15},
 note = {\url{http://dl.acm.org/citation.cfm?id=646728.703362}},
 acmid = {703362},
 publisher = {Springer-Verlag},
 address = {London, UK, UK},
} 
@TECHREPORT{javapi,
    author = {Bart Jacobs and Frank Piessens},
    title = {A pi-Calculus Semantics of Java: The Full Definition},
    institution = {},
    year = {2003},
}
@ONLINE{spimSite,
title = {Stochastic Pi Machine},
note = {\url{http://research.microsoft.com/en-us/projects/spim/}},
}

@ONLINE{jdpi,
title = {Distributed Pi calculus},
note = {\url{http://music.dsi.unifi.it/jdpi/}},
}
@inproceedings{stochastic_dynamic,
  author = {Ralf Blossey, Luca Cardelli, and Andrew Phillips}, 
  title = {Compositionality, Stochasticity and Cooperativity in Dynamic Models of Gene Regulation}, 
  journal = {HFSP Journal}, 
  volume = {2}, 
  number = {1}, 
  pages = {17–28}, 
  publisher = {HFSP Publishing}, 
  issue_date = {February 2008},
}
@article{stochastic_graph,
    author = {Andrew Phillips and Luca Cardelli},
    title = {A Graphical Representation for Biological Processes in the Stochastic pi-calculus},
    journal = {Transactions in Computational Systems Biology},
    year = {2006},
    volume = {4230},
    pages = {2006},
}
@article{appliedPi,
 author = {Cai, Xiaojuan},
 title = {A pure labeled transition semantics for the applied pi calculus},
 journal = {Inf. Sci.},
 issue_date = {November, 2010},
 volume = {180},
 number = {22},
 month = {nov},
 year = {2010},
 issn = {0020-0255},
 pages = {4436-4458},
 numpages = {23},
 note = {\url{http://dx.doi.org/10.1016/j.ins.2010.07.008}},
 acmid = {1857561},
 publisher = {Elsevier Science Inc.},
 address = {New York, NY, USA},
 keywords = {Anonymity, Applied pi calculus, Bisimulation, Labeled transition system, Zero-knowledge proof},
} 
@article{Escrow,
 author = {Mukhamedov, Aybek and Ryan, Mark D.},
 title = {Identity Escrow Protocol and Anonymity Analysis in the Applied Pi-Calculus},
 journal = {ACM Trans. Inf. Syst. Secur.},
 issue_date = {December 2010},
 volume = {13},
 number = {4},
 month = {dec},
 year = {2010},
 issn = {1094-9224},
 pages = {41:1--41:29},
 articleno = {41},
 numpages = {29},
 url = {http://doi.acm.org/10.1145/1880022.1880035},
 doi = {10.1145/1880022.1880035},
 acmid = {1880035},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {Anonymity, accountability, applied \π-calculus, identity escrow protocol},
} 
@inproceedings{auctionFree,
 author = {Dong, Naipeng and Jonker, Hugo and Pang, Jun},
 title = {Analysis of a receipt-free auction protocol in the applied pi calculus},
 booktitle = {Proceedings of the 7th International conference on Formal aspects of security and trust},
 series = {FAST'10},
 year = {2011},
 isbn = {978-3-642-19750-5},
 location = {Pisa, Italy},
 pages = {223-238},
 numpages = {16},
 url = {http://dl.acm.org/citation.cfm?id=1964555.1964570},
 acmid = {1964570},
 publisher = {Springer-Verlag},
 address = {Berlin, Heidelberg},
} 

@inproceedings{probabilistic_appliedpi,
 author = {Goubault Larrecq, Jean and Palamidessi, Catuscia and Troina, Angelo},
 title = {A probabilistic applied pi calculus},
 booktitle = {Proceedings of the 5th Asian conference on Programming languages and systems}, series = {APLAS'07},
 year = {2007},
 isbn = {3-540-76636-7, 978-3-540-76636-0},
 location = {Singapore},
 pages = {175-190},
 numpages = {16},
 note = {\url{http://dl.acm.org/citation.cfm?id=1784774.1784792}},
 acmid = {1784792},
 publisher = {Springer Verlag},
 address = {Berlin, Heidelberg},
} 
@article{biosimulation_appliedpi,
 author = {Delaune, Stephanie and Kremer, Steve and Ryan, Mark D.},
 title = {Symbolic bisimulation for the applied pi calculus},
 journal = {J. Comput. Secur.},
 issue_date = {April 2010},
 volume = {18},
 number = {2},
 month = {apr},
 year = {2010},
 issn = {0926-227X},
 pages = {317--377},
 numpages = {61},
 url = {http://dl.acm.org/citation.cfm?id=1804632.1804637},
 acmid = {1804637},
 publisher = {IOS Press},
 address = {Amsterdam, The Netherlands, The Netherlands},
 keywords = {Applied pi calculus, observational equivalence, security protocols},
} 
@inproceedings{GenericTypeSound,
 author = {Cameron, Nicholas and Drossopoulou, Sophia and Ernst, Erik},
 title = {A Model for Java with Wildcards},
 booktitle = {Proceedings of the 22nd European conference on Object-Oriented Programming},
 series = {ECOOP '08},
 year = {2008},
 isbn = {978-3-540-70591-8},
 location = {Paphos, Cypress},
 pages = {2-26},
 numpages = {25},
 note = {\url{http://dx.doi.org/10.1007/978-3-540-70592-5_2}},
 doi = {10.1007/978-3-540-70592-5_2},
 acmid = {1428512},
 publisher = {Springer-Verlag},
 address = {Berlin, Heidelberg},
} 
@MISC{JavaTypeSoundness,
    author = {Sophia Drossopoulou and Tanya Valkevych and Susan Eisenbach},
    title = {Java Type Soundness Revisited},
    year = {2000}
}
@article{JVM,
 author = {Armbruster, Austin and Baker, Jason and Cunei, Antonio and Flack, Chapman and Holmes, David and Pizlo, Filip and Pla, Edward and Prochazka, Marek and Vitek, Jan},
 title = {A real-time Java virtual machine with applications in avionics},
 journal = {ACM Trans. Embed. Comput. Syst.},
 issue_date = {December 2007},
 volume = {7},
 number = {1},
 month = {dec},
 year = {2007},
 issn = {1539-9087},
 pages = {5-49},
 articleno = {5},
 numpages = {49},
 note = {\url{http://doi.acm.org/10.1145/1324969.1324974}},
 doi = {10.1145/1324969.1324974},
 acmid = {1324974},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {Avionics, Real-time Java, memory management, virtual machines},
} 
@inproceedings{javalight,
 author = {Nipkow, Tobias and von Oheimb, David},
 title = {Javalight is type-safe-definitely},
 booktitle = {Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
 series = {POPL '98},
 year = {1998},
 isbn = {0-89791-979-3},
 location = {San Diego, California, USA},
 pages = {161--170},
 numpages = {10},
 url = {http://doi.acm.org/10.1145/268946.268960},
 doi = {10.1145/268946.268960},
 acmid = {268960},
 publisher = {ACM},
 address = {New York, NY, USA},
} 


@inproceedings{deuce,
author = {Felber, P., G. Korland, and N. Shavit },
title = {Deuce-Noninvasive concurrency with a Java STM},
booktitle = {Electronic Proceedings of the workshop on Programmability Issues for Multi-Core Computers (MULTIPROG)},
site = {Pisa, Italy},
year = March 2010,
pages = {10 pages}
} 
@book{Milner_CCS_BOOK,
 author = {Milner, R.},
 title = {A  Calculus of Communicating Systems},
 year = {1982},
 isbn = {0387102353},
 publisher = {Springer-Verlag New York, Inc.},
 address = {Secaucus, NJ, USA},
} 
@book{Milner_book,
 author = {Milner, Robin},
 title = {Communicating and mobile systems: the \&pgr;-calculus},
 year = {1999},
 isbn = {0-521-65869-1},
 publisher = {Cambridge University Press},
 address = {New York, NY, USA},
} 
[download] 
@INPROCEEDINGS{pict,
    author = {Benjamin C. Pierce and David N. Turner},
    title = {Pict A programming language based on the pi-calculus},
    booktitle = {PROOF, LANGUAGE AND INTERACTION: ESSAYS IN HONOUR OF ROBIN MILNER},
    year = {1997},
    pages = {455-494},
    publisher = {MIT Press}
}
@INPROCEEDINGS{pilib,
    author = {Vincent Cremet and Martin Odersky},
    title = {PiLib- A hosted language for pi-calculus style concurrency},
    booktitle = {In Dagstuhl proc.: Domain-Specific Program Generation},
    year = {2003}
}
@inproceedings{stm,
 author = {Harris, Tim and Marlow, Simon and Peyton-Jones, Simon and Herlihy, Maurice},
 title = {Composable memory transactions},
 booktitle = {Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming},
 series = {PPoPP '05},
 year = {2005},
 isbn = {1-59593-080-9},
 location = {Chicago, IL, USA},
 pages = {48-60},
 numpages = {13},
 note = {\url{http://doi.acm.org/10.1145/1065944.1065952}},
 acmid = {1065952},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {locks, non-blocking algorithms, transactions},
} 
@inproceedings{stm_intro,
  author    = {Anthony Discolo and
               Tim Harris and
               Simon Marlow and
               Simon L. Peyton Jones and
               Satnam Singh},
  title     = {Lock Free Data Structures Using STM in Haskell},
  booktitle = {FLOPS},
  year      = {2006},
  pages     = {65-80},
  note        = {\url{http://dx.doi.org/10.1007/11737414_6}},
}


@article{FGJ,
 author = {Igarashi, Atsushi and Pierce, Benjamin C. and Wadler, Philip},
 title = {Featherweight Java: a minimal core calculus for Java and GJ},
 journal = {ACM Trans. Program. Lang. Syst.},
 issue_date = {May 2001},
 volume = {23},
 number = {3},
 month = {may},
 year = {2001},
 issn = {0164-0925},
 pages = {396--450},
 numpages = {55},
 note = {\url{http://doi.acm.org/10.1145/503502.503505}},
 doi = {10.1145/503502.503505},
 acmid = {503505},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {Compilation, Java, generic classes, language design, language semantics},
} 
@inproceedings{inria,
 author = {Fournet, C{\'e}dric and Gonthier, Georges},
 title = {The reflexive CHAM and the join-calculus},
 booktitle = {Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
 series = {POPL '96},
 year = {1996},
 isbn = {0-89791-769-3},
 location = {St. Petersburg Beach, Florida, USA},
 pages = {372--385},
 numpages = {14},
 url = {http://doi.acm.org/10.1145/237721.237805},
 doi = {10.1145/237721.237805},
 acmid = {237805},
 publisher = {ACM},
 address = {New York, NY, USA}
} 

@INPROCEEDINGS{typedConcurrentObjects,
    author = {Vasco T. Vasconcelos},
    title = {Typed Concurrent Objects},
    booktitle = {In Proceedings of the Eighth European Conference on Object Oriented Programming (ECOOP},
    year = {}
}
@book{distPi,
 author = {Hennessy, Matthew},
 title = {A Distributed Pi-Calculus},
 year = {2007},
 isbn = {0521873304},
 publisher = {Cambridge University Press},
 address = {New York, NY, USA}
} 
@book{csp,
 author = {Hoare, C. A. R.},
 title = {Communicating sequential processes},
 year = {1985},
 isbn = {0-13-153271-5},
 publisher = {Prentice-Hall, Inc.},
 address = {Upper Saddle River, NJ, USA},
} 

@book{Barendregt,
  author  = {Hendrik Pieter Barendregt},
  title   = {The Lambda Calculus - Its Syntax and Semantics},
  publisher = {NorthHolland},
  year    = {1984},
  series  = {Studies in Logic and the Foundations of Mathematics},
  topics  = {FP Lambda Calculi}
}

